<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
   <head>
      <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" />
      <meta name="generator" content="Railroad Diagram Generator 1.35.837" />
<link href='https://fonts.googleapis.com/css?family=Roboto+Slab:bold|Inconsolata' rel='stylesheet' type='text/css'/>
<style type="text/css">
    ::-moz-selection
    {
      color: #FFF5F0;
      background: #0F0500;
    }
    ::selection
    {
      color: #FFF5F0;
      background: #0F0500;
    }      
    .ebnf a
    {
      text-decoration: none;
    }
    .ebnf a:hover
    {
      color: #050200;
      text-decoration: underline;
    }    
    .signature
    {
      color: #802B00;
      font-size: 11px;
      text-align: right;
    }
   pre{
        font-size: 16px;
        font-family: 'Inconsolata';
    }
    body
    {
      font-size: 14px;
      font-family: 'Roboto Slab', serif;
      color: #0F0500;
      background: #FFF5F0;
    }
    a:link, a:visited
    {
      color: #0F0500;
    }
    a:link.signature, a:visited.signature
    {
      color: #802B00;
    }
    a.button, #tabs li a
    {
      padding: 0.25em 0.5em;
      border: 1px solid #802B00;
      background: #F1D4C6;
      color: #802B00;
      text-decoration: none;
      font-weight: bold;
    }
    a.button:hover, #tabs li a:hover
    {
      color: #050200;
      background: #FFE0D1;
      border-color: #050200;       
    }     
    #tabs
    {
      padding: 3px 10px;
      margin-left: 0;
      margin-top: 58px;
      border-bottom: 1px solid #0F0500;
    }  
    #tabs li
    {
      list-style: none;
      margin-left: 5px;
      display: inline;
    }
    #tabs li a
    {     
      border-bottom: 1px solid #0F0500;
    }
    #tabs li a.active
    {
      color: #0F0500;
      background: #FFF5F0;
      border-color: #0F0500;
      border-bottom: 1px solid #FFF5F0;
      outline: none;
    }
    #divs div
    {
      display: none;
      overflow:auto;
    }
    #divs div.active
    {
      display: block;
    }
    #text
    {
      border-color: #802B00;
      background: #FFFCFA;
      color: #050200;
    }
    .small
    {
      vertical-align: top;
      text-align: right;
      font-size: 9px;
      font-weight: normal;
      line-height: 120%;
    }
    td.small
    {
      padding-top: 0px;
    }
    .hidden
    {
      visibility: hidden;
    }
    td:hover .hidden 
    {
      visibility: visible;
    }
    div.download
    {
      display: none;
      background: #FFF5F0;
      position: absolute;
      right: 34px;
      top: 94px;
      padding: 10px;
      border: 1px dotted #0F0500;
    }
    #divs div.ebnf, div.ebnf
    {
      font-family: 'Inconsolata' ;
      display: block;
      padding-left: 16px;
      padding-top: 2px; 
      padding-bottom: 2px; 
      background: #FFE0D1;
    }
    table.palette
    {
      border-top: 1px solid #050200;
      border-right: 1px solid #050200;
      margin-bottom: 4px
    }
    td.palette
    {
      border-bottom: 1px solid #050200;
      border-left: 1px solid #050200;
    }
    a.palette
    {
      padding: 2px 3px 2px 10px;
      text-decoration: none;
    }
    .palette
    {
      -webkit-user-select: none;
      -khtml-user-select: none;
      -moz-user-select: none;
      -o-user-select: none;
      -ms-user-select: none;
    }
  
  </style><svg xmlns="http://www.w3.org/2000/svg">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
      </svg>
   </head>
   <body>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="schemaDecl">schemaDecl:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="598" height="36">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 17 1 13 1 21"/>
         <polygon points="17 17 9 13 9 21"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#dimensionDecl" xlink:title="dimensionDecl">
            <rect x="31" y="3" width="110" height="32"/>
            <rect x="29" y="1" width="110" height="32" class="nonterminal"/>
            <text class="nonterminal" x="39" y="21">dimensionDecl</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#levelDecl" xlink:title="levelDecl">
            <rect x="161" y="3" width="74" height="32"/>
            <rect x="159" y="1" width="74" height="32" class="nonterminal"/>
            <text class="nonterminal" x="169" y="21">levelDecl</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#pcRelsDecl" xlink:title="pcRelsDecl">
            <rect x="255" y="3" width="86" height="32"/>
            <rect x="253" y="1" width="86" height="32" class="nonterminal"/>
            <text class="nonterminal" x="263" y="21">pcRelsDecl</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#factDecl" xlink:title="factDecl">
            <rect x="361" y="3" width="68" height="32"/>
            <rect x="359" y="1" width="68" height="32" class="nonterminal"/>
            <text class="nonterminal" x="369" y="21">factDecl</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#iConstraintsDecl" xlink:title="iConstraintsDecl">
            <rect x="449" y="3" width="122" height="32"/>
            <rect x="447" y="1" width="122" height="32" class="nonterminal"/>
            <text class="nonterminal" x="457" y="21">iConstraintsDecl</text>
         </a>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m0 0 h10 m110 0 h10 m0 0 h10 m74 0 h10 m0 0 h10 m86 0 h10 m0 0 h10 m68 0 h10 m0 0 h10 m122 0 h10 m3 0 h-3"/>
         <polygon points="589 17 597 13 597 21"/>
         <polygon points="589 17 581 13 581 21"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#schemaDecl" title="schemaDecl">schemaDecl</a>
         ::= <a href="#dimensionDecl" title="dimensionDecl">dimensionDecl</a> <a href="#levelDecl" title="levelDecl">levelDecl</a> <a href="#pcRelsDecl" title="pcRelsDecl">pcRelsDecl</a> <a href="#factDecl" title="factDecl">factDecl</a> <a href="#iConstraintsDecl" title="iConstraintsDecl">iConstraintsDecl</a></xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">no references</xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="dimensionDecl">dimensionDecl:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="636" height="140">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#dimensionDecl" xlink:title="dimensionDecl">
            <rect x="71" y="19" width="110" height="32"/>
            <rect x="69" y="17" width="110" height="32" class="nonterminal"/>
            <text class="nonterminal" x="79" y="37">dimensionDecl</text>
         </a>
         <rect x="51" y="63" width="88" height="32" rx="10"/>
         <rect x="49" y="61" width="88" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="81">Dimension</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#DIMENSION_NAME" xlink:title="DIMENSION_NAME">
            <rect x="159" y="63" width="136" height="32"/>
            <rect x="157" y="61" width="136" height="32" class="nonterminal"/>
            <text class="nonterminal" x="167" y="81">DIMENSION_NAME</text>
         </a>
         <rect x="315" y="63" width="110" height="32" rx="10"/>
         <rect x="313" y="61" width="110" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="323" y="81">includes level</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="445" y="63" width="100" height="32"/>
            <rect x="443" y="61" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="453" y="81">LEVEL_NAME</text>
         </a>
         <rect x="565" y="63" width="24" height="32" rx="10"/>
         <rect x="563" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="573" y="81">;</text>
         <rect x="51" y="107" width="88" height="32" rx="10"/>
         <rect x="49" y="105" width="88" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="125">Dimension</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#DIMENSION_NAME" xlink:title="DIMENSION_NAME">
            <rect x="159" y="107" width="136" height="32"/>
            <rect x="157" y="105" width="136" height="32" class="nonterminal"/>
            <text class="nonterminal" x="167" y="125">DIMENSION_NAME</text>
         </a>
         <rect x="315" y="107" width="74" height="32" rx="10"/>
         <rect x="313" y="105" width="74" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="323" y="125">includes</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#hierarchyDecl" xlink:title="hierarchyDecl">
            <rect x="409" y="107" width="104" height="32"/>
            <rect x="407" y="105" width="104" height="32" class="nonterminal"/>
            <text class="nonterminal" x="417" y="125">hierarchyDecl</text>
         </a>
         <rect x="533" y="107" width="24" height="32" rx="10"/>
         <rect x="531" y="105" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="541" y="125">;</text>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m110 0 h10 m-150 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m130 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-130 0 h10 m0 0 h120 m20 32 h388 m-578 0 h20 m558 0 h20 m-598 0 q10 0 10 10 m578 0 q0 -10 10 -10 m-588 10 v24 m578 0 v-24 m-578 24 q0 10 10 10 m558 0 q10 0 10 -10 m-568 10 h10 m88 0 h10 m0 0 h10 m136 0 h10 m0 0 h10 m110 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m24 0 h10 m-568 -10 v20 m578 0 v-20 m-578 20 v24 m578 0 v-24 m-578 24 q0 10 10 10 m558 0 q10 0 10 -10 m-568 10 h10 m88 0 h10 m0 0 h10 m136 0 h10 m0 0 h10 m74 0 h10 m0 0 h10 m104 0 h10 m0 0 h10 m24 0 h10 m0 0 h32 m23 -88 h-3"/>
         <polygon points="627 33 635 29 635 37"/>
         <polygon points="627 33 619 29 619 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#dimensionDecl" title="dimensionDecl">dimensionDecl</a>
         ::= <a href="#dimensionDecl" title="dimensionDecl">dimensionDecl</a>+
           | 'Dimension' <a href="#DIMENSION_NAME" title="DIMENSION_NAME">DIMENSION_NAME</a> 'includes level' <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> ';'
           | 'Dimension' <a href="#DIMENSION_NAME" title="DIMENSION_NAME">DIMENSION_NAME</a> 'includes' <a href="#hierarchyDecl" title="hierarchyDecl">hierarchyDecl</a> ';'</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#dimensionDecl" title="dimensionDecl">dimensionDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#schemaDecl" title="schemaDecl">schemaDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="levelDecl">levelDecl:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="500" height="96">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#levelDecl" xlink:title="levelDecl">
            <rect x="71" y="19" width="74" height="32"/>
            <rect x="69" y="17" width="74" height="32" class="nonterminal"/>
            <text class="nonterminal" x="79" y="37">levelDecl</text>
         </a>
         <rect x="51" y="63" width="56" height="32" rx="10"/>
         <rect x="49" y="61" width="56" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="81">Level</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="127" y="63" width="100" height="32"/>
            <rect x="125" y="61" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="135" y="81">LEVEL_NAME</text>
         </a>
         <rect x="247" y="63" width="42" height="32" rx="10"/>
         <rect x="245" y="61" width="42" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="255" y="81">has</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#attributeDecl" xlink:title="attributeDecl">
            <rect x="309" y="63" width="100" height="32"/>
            <rect x="307" y="61" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="317" y="81">attributeDecl</text>
         </a>
         <rect x="429" y="63" width="24" height="32" rx="10"/>
         <rect x="427" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="437" y="81">;</text>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m74 0 h10 m-114 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m94 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-94 0 h10 m0 0 h84 m20 32 h288 m-442 0 h20 m422 0 h20 m-462 0 q10 0 10 10 m442 0 q0 -10 10 -10 m-452 10 v24 m442 0 v-24 m-442 24 q0 10 10 10 m422 0 q10 0 10 -10 m-432 10 h10 m56 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m42 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m24 0 h10 m23 -44 h-3"/>
         <polygon points="491 33 499 29 499 37"/>
         <polygon points="491 33 483 29 483 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#levelDecl" title="levelDecl">levelDecl</a>
         ::= <a href="#levelDecl" title="levelDecl">levelDecl</a>+
           | 'Level' <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> 'has' <a href="#attributeDecl" title="attributeDecl">attributeDecl</a> ';'</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#levelDecl" title="levelDecl">levelDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#schemaDecl" title="schemaDecl">schemaDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="attributeDecl">attributeDecl:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="580" height="96">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#attributeDecl" xlink:title="attributeDecl">
            <rect x="71" y="19" width="100" height="32"/>
            <rect x="69" y="17" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="79" y="37">attributeDecl</text>
         </a>
         <rect x="51" y="63" width="78" height="32" rx="10"/>
         <rect x="49" y="61" width="78" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="81">Attribute</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#ATTRIBUTE_NAME" xlink:title="ATTRIBUTE_NAME">
            <rect x="149" y="63" width="130" height="32"/>
            <rect x="147" y="61" width="130" height="32" class="nonterminal"/>
            <text class="nonterminal" x="157" y="81">ATTRIBUTE_NAME</text>
         </a>
         <rect x="299" y="63" width="66" height="32" rx="10"/>
         <rect x="297" y="61" width="66" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="307" y="81">of type</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#attributeType" xlink:title="attributeType">
            <rect x="385" y="63" width="104" height="32"/>
            <rect x="383" y="61" width="104" height="32" class="nonterminal"/>
            <text class="nonterminal" x="393" y="81">attributeType</text>
         </a>
         <rect x="509" y="63" width="24" height="32" rx="10"/>
         <rect x="507" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="517" y="81">;</text>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m100 0 h10 m-140 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m120 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-120 0 h10 m0 0 h110 m20 32 h342 m-522 0 h20 m502 0 h20 m-542 0 q10 0 10 10 m522 0 q0 -10 10 -10 m-532 10 v24 m522 0 v-24 m-522 24 q0 10 10 10 m502 0 q10 0 10 -10 m-512 10 h10 m78 0 h10 m0 0 h10 m130 0 h10 m0 0 h10 m66 0 h10 m0 0 h10 m104 0 h10 m0 0 h10 m24 0 h10 m23 -44 h-3"/>
         <polygon points="571 33 579 29 579 37"/>
         <polygon points="571 33 563 29 563 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#attributeDecl" title="attributeDecl">attributeDecl</a>
         ::= <a href="#attributeDecl" title="attributeDecl">attributeDecl</a>+
           | 'Attribute' <a href="#ATTRIBUTE_NAME" title="ATTRIBUTE_NAME">ATTRIBUTE_NAME</a> 'of type' <a href="#attributeType" title="attributeType">attributeType</a> ';'</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#attributeDecl" title="attributeDecl">attributeDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#levelDecl" title="levelDecl">levelDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="hierarchyDecl">hierarchyDecl:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="602" height="96">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#hierarchyDecl" xlink:title="hierarchyDecl">
            <rect x="71" y="19" width="104" height="32"/>
            <rect x="69" y="17" width="104" height="32" class="nonterminal"/>
            <text class="nonterminal" x="79" y="37">hierarchyDecl</text>
         </a>
         <rect x="51" y="63" width="84" height="32" rx="10"/>
         <rect x="49" y="61" width="84" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="81">Hierarchy</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#HIERARCHY_NAME" xlink:title="HIERARCHY_NAME">
            <rect x="155" y="63" width="134" height="32"/>
            <rect x="153" y="61" width="134" height="32" class="nonterminal"/>
            <text class="nonterminal" x="163" y="81">HIERARCHY_NAME</text>
         </a>
         <rect x="309" y="63" width="102" height="32" rx="10"/>
         <rect x="307" y="61" width="102" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="317" y="81">composed of</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#pcRelsSet" xlink:title="pcRelsSet">
            <rect x="431" y="63" width="80" height="32"/>
            <rect x="429" y="61" width="80" height="32" class="nonterminal"/>
            <text class="nonterminal" x="439" y="81">pcRelsSet</text>
         </a>
         <rect x="531" y="63" width="24" height="32" rx="10"/>
         <rect x="529" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="539" y="81">;</text>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m104 0 h10 m-144 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m124 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-124 0 h10 m0 0 h114 m20 32 h360 m-544 0 h20 m524 0 h20 m-564 0 q10 0 10 10 m544 0 q0 -10 10 -10 m-554 10 v24 m544 0 v-24 m-544 24 q0 10 10 10 m524 0 q10 0 10 -10 m-534 10 h10 m84 0 h10 m0 0 h10 m134 0 h10 m0 0 h10 m102 0 h10 m0 0 h10 m80 0 h10 m0 0 h10 m24 0 h10 m23 -44 h-3"/>
         <polygon points="593 33 601 29 601 37"/>
         <polygon points="593 33 585 29 585 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#hierarchyDecl" title="hierarchyDecl">hierarchyDecl</a>
         ::= <a href="#hierarchyDecl" title="hierarchyDecl">hierarchyDecl</a>+
           | 'Hierarchy' <a href="#HIERARCHY_NAME" title="HIERARCHY_NAME">HIERARCHY_NAME</a> 'composed of' <a href="#pcRelsSet" title="pcRelsSet">pcRelsSet</a> ';'</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#dimensionDecl" title="dimensionDecl">dimensionDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#hierarchyDecl" title="hierarchyDecl">hierarchyDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="pcRelsDecl">pcRelsDecl:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="862" height="140">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#pcRelsDecl" xlink:title="pcRelsDecl">
            <rect x="71" y="19" width="86" height="32"/>
            <rect x="69" y="17" width="86" height="32" class="nonterminal"/>
            <text class="nonterminal" x="79" y="37">pcRelsDecl</text>
         </a>
         <rect x="51" y="63" width="58" height="32" rx="10"/>
         <rect x="49" y="61" width="58" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="81">PCRel</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PC_NAME" xlink:title="PC_NAME">
            <rect x="129" y="63" width="80" height="32"/>
            <rect x="127" y="61" width="80" height="32" class="nonterminal"/>
            <text class="nonterminal" x="137" y="81">PC_NAME</text>
         </a>
         <rect x="229" y="63" width="74" height="32" rx="10"/>
         <rect x="227" y="61" width="74" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="237" y="81">involves</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="323" y="63" width="100" height="32"/>
            <rect x="321" y="61" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="331" y="81">LEVEL_NAME</text>
         </a>
         <rect x="443" y="63" width="24" height="32" rx="10"/>
         <rect x="441" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="451" y="81">,</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="487" y="63" width="100" height="32"/>
            <rect x="485" y="61" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="495" y="81">LEVEL_NAME</text>
         </a>
         <rect x="607" y="63" width="24" height="32" rx="10"/>
         <rect x="605" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="615" y="81">;</text>
         <rect x="51" y="107" width="58" height="32" rx="10"/>
         <rect x="49" y="105" width="58" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="125">PCRel</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PC_NAME" xlink:title="PC_NAME">
            <rect x="129" y="107" width="80" height="32"/>
            <rect x="127" y="105" width="80" height="32" class="nonterminal"/>
            <text class="nonterminal" x="137" y="125">PC_NAME</text>
         </a>
         <rect x="229" y="107" width="74" height="32" rx="10"/>
         <rect x="227" y="105" width="74" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="237" y="125">involves</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="323" y="107" width="100" height="32"/>
            <rect x="321" y="105" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="331" y="125">LEVEL_NAME</text>
         </a>
         <rect x="443" y="107" width="24" height="32" rx="10"/>
         <rect x="441" y="105" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="451" y="125">,</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="487" y="107" width="100" height="32"/>
            <rect x="485" y="105" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="495" y="125">LEVEL_NAME</text>
         </a>
         <rect x="607" y="107" width="164" height="32" rx="10"/>
         <rect x="605" y="105" width="164" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="615" y="125">has distributing factor</text>
         <rect x="791" y="107" width="24" height="32" rx="10"/>
         <rect x="789" y="105" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="799" y="125">;</text>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m86 0 h10 m-126 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m106 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-106 0 h10 m0 0 h96 m20 32 h638 m-804 0 h20 m784 0 h20 m-824 0 q10 0 10 10 m804 0 q0 -10 10 -10 m-814 10 v24 m804 0 v-24 m-804 24 q0 10 10 10 m784 0 q10 0 10 -10 m-794 10 h10 m58 0 h10 m0 0 h10 m80 0 h10 m0 0 h10 m74 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m24 0 h10 m0 0 h184 m-794 -10 v20 m804 0 v-20 m-804 20 v24 m804 0 v-24 m-804 24 q0 10 10 10 m784 0 q10 0 10 -10 m-794 10 h10 m58 0 h10 m0 0 h10 m80 0 h10 m0 0 h10 m74 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m164 0 h10 m0 0 h10 m24 0 h10 m23 -88 h-3"/>
         <polygon points="853 33 861 29 861 37"/>
         <polygon points="853 33 845 29 845 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#pcRelsDecl" title="pcRelsDecl">pcRelsDecl</a>
         ::= <a href="#pcRelsDecl" title="pcRelsDecl">pcRelsDecl</a>+
           | 'PCRel' <a href="#PC_NAME" title="PC_NAME">PC_NAME</a> 'involves' <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> ',' <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> ';'
           | 'PCRel' <a href="#PC_NAME" title="PC_NAME">PC_NAME</a> 'involves' <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> ',' <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> 'has distributing factor' ';'</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#pcRelsDecl" title="pcRelsDecl">pcRelsDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#schemaDecl" title="schemaDecl">schemaDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="pcRelsSet">pcRelsSet:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="362" height="68">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PC_NAME" xlink:title="PC_NAME">
            <rect x="31" y="19" width="80" height="32"/>
            <rect x="29" y="17" width="80" height="32" class="nonterminal"/>
            <text class="nonterminal" x="39" y="37">PC_NAME</text>
         </a>
         <rect x="171" y="19" width="24" height="32" rx="10"/>
         <rect x="169" y="17" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="179" y="37">,</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#pcRelsSet" xlink:title="pcRelsSet">
            <rect x="215" y="19" width="80" height="32"/>
            <rect x="213" y="17" width="80" height="32" class="nonterminal"/>
            <text class="nonterminal" x="223" y="37">pcRelsSet</text>
         </a>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m0 0 h10 m80 0 h10 m40 0 h10 m24 0 h10 m0 0 h10 m80 0 h10 m-164 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m144 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-144 0 h10 m0 0 h134 m-184 32 h20 m184 0 h20 m-224 0 q10 0 10 10 m204 0 q0 -10 10 -10 m-214 10 v14 m204 0 v-14 m-204 14 q0 10 10 10 m184 0 q10 0 10 -10 m-194 10 h10 m0 0 h174 m23 -34 h-3"/>
         <polygon points="353 33 361 29 361 37"/>
         <polygon points="353 33 345 29 345 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#pcRelsSet" title="pcRelsSet">pcRelsSet</a>
         ::= <a href="#PC_NAME" title="PC_NAME">PC_NAME</a> ( ',' <a href="#pcRelsSet" title="pcRelsSet">pcRelsSet</a> )*</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#hierarchyDecl" title="hierarchyDecl">hierarchyDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#iConstraintsDecl" title="iConstraintsDecl">iConstraintsDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#pcRelsSet" title="pcRelsSet">pcRelsSet</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="factDecl">factDecl:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="800" height="140">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#factDecl" xlink:title="factDecl">
            <rect x="71" y="19" width="68" height="32"/>
            <rect x="69" y="17" width="68" height="32" class="nonterminal"/>
            <text class="nonterminal" x="79" y="37">factDecl</text>
         </a>
         <rect x="51" y="63" width="130" height="32" rx="10"/>
         <rect x="49" y="61" width="130" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="81">Fact relationship</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#FACT_NAME" xlink:title="FACT_NAME">
            <rect x="201" y="63" width="94" height="32"/>
            <rect x="199" y="61" width="94" height="32" class="nonterminal"/>
            <text class="nonterminal" x="209" y="81">FACT_NAME</text>
         </a>
         <rect x="315" y="63" width="74" height="32" rx="10"/>
         <rect x="313" y="61" width="74" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="323" y="81">involves</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#levelInvolvment" xlink:title="levelInvolvment">
            <rect x="409" y="63" width="118" height="32"/>
            <rect x="407" y="61" width="118" height="32" class="nonterminal"/>
            <text class="nonterminal" x="417" y="81">levelInvolvment</text>
         </a>
         <rect x="547" y="63" width="24" height="32" rx="10"/>
         <rect x="545" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="555" y="81">;</text>
         <rect x="51" y="107" width="130" height="32" rx="10"/>
         <rect x="49" y="105" width="130" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="125">Fact relationship</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#FACT_NAME" xlink:title="FACT_NAME">
            <rect x="201" y="107" width="94" height="32"/>
            <rect x="199" y="105" width="94" height="32" class="nonterminal"/>
            <text class="nonterminal" x="209" y="125">FACT_NAME</text>
         </a>
         <rect x="315" y="107" width="74" height="32" rx="10"/>
         <rect x="313" y="105" width="74" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="323" y="125">involves</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#levelInvolvment" xlink:title="levelInvolvment">
            <rect x="409" y="107" width="118" height="32"/>
            <rect x="407" y="105" width="118" height="32" class="nonterminal"/>
            <text class="nonterminal" x="417" y="125">levelInvolvment</text>
         </a>
         <rect x="547" y="107" width="42" height="32" rx="10"/>
         <rect x="545" y="105" width="42" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="555" y="125">has</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#measureDecl" xlink:title="measureDecl">
            <rect x="609" y="107" width="100" height="32"/>
            <rect x="607" y="105" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="617" y="125">measureDecl</text>
         </a>
         <rect x="729" y="107" width="24" height="32" rx="10"/>
         <rect x="727" y="105" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="737" y="125">;</text>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m68 0 h10 m-108 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m88 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-88 0 h10 m0 0 h78 m20 32 h594 m-742 0 h20 m722 0 h20 m-762 0 q10 0 10 10 m742 0 q0 -10 10 -10 m-752 10 v24 m742 0 v-24 m-742 24 q0 10 10 10 m722 0 q10 0 10 -10 m-732 10 h10 m130 0 h10 m0 0 h10 m94 0 h10 m0 0 h10 m74 0 h10 m0 0 h10 m118 0 h10 m0 0 h10 m24 0 h10 m0 0 h182 m-732 -10 v20 m742 0 v-20 m-742 20 v24 m742 0 v-24 m-742 24 q0 10 10 10 m722 0 q10 0 10 -10 m-732 10 h10 m130 0 h10 m0 0 h10 m94 0 h10 m0 0 h10 m74 0 h10 m0 0 h10 m118 0 h10 m0 0 h10 m42 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m24 0 h10 m23 -88 h-3"/>
         <polygon points="791 33 799 29 799 37"/>
         <polygon points="791 33 783 29 783 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#factDecl" title="factDecl">factDecl</a> ::= <a href="#factDecl" title="factDecl">factDecl</a>+
           | 'Fact relationship' <a href="#FACT_NAME" title="FACT_NAME">FACT_NAME</a> 'involves' <a href="#levelInvolvment" title="levelInvolvment">levelInvolvment</a> ';'
           | 'Fact relationship' <a href="#FACT_NAME" title="FACT_NAME">FACT_NAME</a> 'involves' <a href="#levelInvolvment" title="levelInvolvment">levelInvolvment</a> 'has' <a href="#measureDecl" title="measureDecl">measureDecl</a> ';'</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#factDecl" title="factDecl">factDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#schemaDecl" title="schemaDecl">schemaDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="levelInvolvment">levelInvolvment:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="414" height="140">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#levelInvolvment" xlink:title="levelInvolvment">
            <rect x="71" y="19" width="118" height="32"/>
            <rect x="69" y="17" width="118" height="32" class="nonterminal"/>
            <text class="nonterminal" x="79" y="37">levelInvolvment</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="51" y="63" width="100" height="32"/>
            <rect x="49" y="61" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="81">LEVEL_NAME</text>
         </a>
         <rect x="171" y="63" width="24" height="32" rx="10"/>
         <rect x="169" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="179" y="81">;</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="51" y="107" width="100" height="32"/>
            <rect x="49" y="105" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="125">LEVEL_NAME</text>
         </a>
         <rect x="171" y="107" width="34" height="32" rx="10"/>
         <rect x="169" y="105" width="34" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="179" y="125">as</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_ROLE" xlink:title="LEVEL_ROLE">
            <rect x="225" y="107" width="98" height="32"/>
            <rect x="223" y="105" width="98" height="32" class="nonterminal"/>
            <text class="nonterminal" x="233" y="125">LEVEL_ROLE</text>
         </a>
         <rect x="343" y="107" width="24" height="32" rx="10"/>
         <rect x="341" y="105" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="351" y="125">;</text>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m118 0 h10 m-158 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m138 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-138 0 h10 m0 0 h128 m20 32 h158 m-356 0 h20 m336 0 h20 m-376 0 q10 0 10 10 m356 0 q0 -10 10 -10 m-366 10 v24 m356 0 v-24 m-356 24 q0 10 10 10 m336 0 q10 0 10 -10 m-346 10 h10 m100 0 h10 m0 0 h10 m24 0 h10 m0 0 h172 m-346 -10 v20 m356 0 v-20 m-356 20 v24 m356 0 v-24 m-356 24 q0 10 10 10 m336 0 q10 0 10 -10 m-346 10 h10 m100 0 h10 m0 0 h10 m34 0 h10 m0 0 h10 m98 0 h10 m0 0 h10 m24 0 h10 m23 -88 h-3"/>
         <polygon points="405 33 413 29 413 37"/>
         <polygon points="405 33 397 29 397 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#levelInvolvment" title="levelInvolvment">levelInvolvment</a>
         ::= <a href="#levelInvolvment" title="levelInvolvment">levelInvolvment</a>+
           | <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> ';'
           | <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> 'as' <a href="#LEVEL_ROLE" title="LEVEL_ROLE">LEVEL_ROLE</a> ';'</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#factDecl" title="factDecl">factDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#levelInvolvment" title="levelInvolvment">levelInvolvment</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="measureDecl">measureDecl:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="746" height="96">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#measureDecl" xlink:title="measureDecl">
            <rect x="71" y="19" width="100" height="32"/>
            <rect x="69" y="17" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="79" y="37">measureDecl</text>
         </a>
         <rect x="51" y="63" width="76" height="32" rx="10"/>
         <rect x="49" y="61" width="76" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="81">Measure</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MEASURE_NAME" xlink:title="MEASURE_NAME">
            <rect x="147" y="63" width="122" height="32"/>
            <rect x="145" y="61" width="122" height="32" class="nonterminal"/>
            <text class="nonterminal" x="155" y="81">MEASURE_NAME</text>
         </a>
         <rect x="289" y="63" width="66" height="32" rx="10"/>
         <rect x="287" y="61" width="66" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="297" y="81">of type</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#measureType" xlink:title="measureType">
            <rect x="375" y="63" width="104" height="32"/>
            <rect x="373" y="61" width="104" height="32" class="nonterminal"/>
            <text class="nonterminal" x="383" y="81">measureType</text>
         </a>
         <rect x="499" y="63" width="30" height="32" rx="10"/>
         <rect x="497" y="61" width="30" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="507" y="81">is</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#additivityType" xlink:title="additivityType">
            <rect x="549" y="63" width="106" height="32"/>
            <rect x="547" y="61" width="106" height="32" class="nonterminal"/>
            <text class="nonterminal" x="557" y="81">additivityType</text>
         </a>
         <rect x="675" y="63" width="24" height="32" rx="10"/>
         <rect x="673" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="683" y="81">;</text>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m100 0 h10 m-140 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m120 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-120 0 h10 m0 0 h110 m20 32 h508 m-688 0 h20 m668 0 h20 m-708 0 q10 0 10 10 m688 0 q0 -10 10 -10 m-698 10 v24 m688 0 v-24 m-688 24 q0 10 10 10 m668 0 q10 0 10 -10 m-678 10 h10 m76 0 h10 m0 0 h10 m122 0 h10 m0 0 h10 m66 0 h10 m0 0 h10 m104 0 h10 m0 0 h10 m30 0 h10 m0 0 h10 m106 0 h10 m0 0 h10 m24 0 h10 m23 -44 h-3"/>
         <polygon points="737 33 745 29 745 37"/>
         <polygon points="737 33 729 29 729 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#measureDecl" title="measureDecl">measureDecl</a>
         ::= <a href="#measureDecl" title="measureDecl">measureDecl</a>+
           | 'Measure' <a href="#MEASURE_NAME" title="MEASURE_NAME">MEASURE_NAME</a> 'of type' <a href="#measureType" title="measureType">measureType</a> 'is' <a href="#additivityType" title="additivityType">additivityType</a> ';'</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#factDecl" title="factDecl">factDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#measureDecl" title="measureDecl">measureDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="iConstraintsDecl">iConstraintsDecl:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="862" height="184">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 33 1 29 1 37"/>
         <polygon points="17 33 9 29 9 37"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#iConstraintsDecl" xlink:title="iConstraintsDecl">
            <rect x="71" y="19" width="122" height="32"/>
            <rect x="69" y="17" width="122" height="32" class="nonterminal"/>
            <text class="nonterminal" x="79" y="37">iConstraintsDecl</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#ATTRIBUTE_NAME" xlink:title="ATTRIBUTE_NAME">
            <rect x="51" y="63" width="130" height="32"/>
            <rect x="49" y="61" width="130" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="81">ATTRIBUTE_NAME</text>
         </a>
         <rect x="201" y="63" width="132" height="32" rx="10"/>
         <rect x="199" y="61" width="132" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="209" y="81">is primary key of</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="353" y="63" width="100" height="32"/>
            <rect x="351" y="61" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="361" y="81">LEVEL_NAME</text>
         </a>
         <rect x="473" y="63" width="24" height="32" rx="10"/>
         <rect x="471" y="61" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="481" y="81">;</text>
         <rect x="51" y="107" width="120" height="32" rx="10"/>
         <rect x="49" y="105" width="120" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="125">Participation of</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="191" y="107" width="100" height="32"/>
            <rect x="189" y="105" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="199" y="125">LEVEL_NAME</text>
         </a>
         <rect x="311" y="107" width="32" height="32" rx="10"/>
         <rect x="309" y="105" width="32" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="319" y="125">in</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#PC_NAME" xlink:title="PC_NAME">
            <rect x="363" y="107" width="80" height="32"/>
            <rect x="361" y="105" width="80" height="32" class="nonterminal"/>
            <text class="nonterminal" x="371" y="125">PC_NAME</text>
         </a>
         <rect x="463" y="107" width="42" height="32" rx="10"/>
         <rect x="461" y="105" width="42" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="471" y="125">is (</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MIN_CARD" xlink:title="MIN_CARD">
            <rect x="525" y="107" width="86" height="32"/>
            <rect x="523" y="105" width="86" height="32" class="nonterminal"/>
            <text class="nonterminal" x="533" y="125">MIN_CARD</text>
         </a>
         <rect x="631" y="107" width="24" height="32" rx="10"/>
         <rect x="629" y="105" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="639" y="125">,</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#MAX_CARD" xlink:title="MAX_CARD">
            <rect x="675" y="107" width="88" height="32"/>
            <rect x="673" y="105" width="88" height="32" class="nonterminal"/>
            <text class="nonterminal" x="683" y="125">MAX_CARD</text>
         </a>
         <rect x="783" y="107" width="32" height="32" rx="10"/>
         <rect x="781" y="105" width="32" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="791" y="125">);</text>
         <rect x="51" y="151" width="186" height="32" rx="10"/>
         <rect x="49" y="149" width="186" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="59" y="169">Exclusive participation of</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#LEVEL_NAME" xlink:title="LEVEL_NAME">
            <rect x="257" y="151" width="100" height="32"/>
            <rect x="255" y="149" width="100" height="32" class="nonterminal"/>
            <text class="nonterminal" x="265" y="169">LEVEL_NAME</text>
         </a>
         <rect x="377" y="151" width="32" height="32" rx="10"/>
         <rect x="375" y="149" width="32" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="385" y="169">in</text>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#pcRelsSet" xlink:title="pcRelsSet">
            <rect x="429" y="151" width="80" height="32"/>
            <rect x="427" y="149" width="80" height="32" class="nonterminal"/>
            <text class="nonterminal" x="437" y="169">pcRelsSet</text>
         </a>
         <rect x="529" y="151" width="24" height="32" rx="10"/>
         <rect x="527" y="149" width="24" height="32" class="terminal" rx="10"/>
         <text class="terminal" x="537" y="169">;</text>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 33 h2 m40 0 h10 m122 0 h10 m-162 0 l20 0 m-1 0 q-9 0 -9 -10 l0 -12 q0 -10 10 -10 m142 32 l20 0 m-20 0 q10 0 10 -10 l0 -12 q0 -10 -10 -10 m-142 0 h10 m0 0 h132 m20 32 h602 m-804 0 h20 m784 0 h20 m-824 0 q10 0 10 10 m804 0 q0 -10 10 -10 m-814 10 v24 m804 0 v-24 m-804 24 q0 10 10 10 m784 0 q10 0 10 -10 m-794 10 h10 m130 0 h10 m0 0 h10 m132 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m24 0 h10 m0 0 h318 m-794 -10 v20 m804 0 v-20 m-804 20 v24 m804 0 v-24 m-804 24 q0 10 10 10 m784 0 q10 0 10 -10 m-794 10 h10 m120 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m32 0 h10 m0 0 h10 m80 0 h10 m0 0 h10 m42 0 h10 m0 0 h10 m86 0 h10 m0 0 h10 m24 0 h10 m0 0 h10 m88 0 h10 m0 0 h10 m32 0 h10 m-794 -10 v20 m804 0 v-20 m-804 20 v24 m804 0 v-24 m-804 24 q0 10 10 10 m784 0 q10 0 10 -10 m-794 10 h10 m186 0 h10 m0 0 h10 m100 0 h10 m0 0 h10 m32 0 h10 m0 0 h10 m80 0 h10 m0 0 h10 m24 0 h10 m0 0 h262 m23 -132 h-3"/>
         <polygon points="853 33 861 29 861 37"/>
         <polygon points="853 33 845 29 845 37"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#iConstraintsDecl" title="iConstraintsDecl">iConstraintsDecl</a>
         ::= <a href="#iConstraintsDecl" title="iConstraintsDecl">iConstraintsDecl</a>+
           | <a href="#ATTRIBUTE_NAME" title="ATTRIBUTE_NAME">ATTRIBUTE_NAME</a> 'is primary key of' <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> ';'
           | 'Participation of' <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> 'in' <a href="#PC_NAME" title="PC_NAME">PC_NAME</a> 'is (' <a href="#MIN_CARD" title="MIN_CARD">MIN_CARD</a> ',' <a href="#MAX_CARD" title="MAX_CARD">MAX_CARD</a> ');'
           | 'Exclusive participation of' <a href="#LEVEL_NAME" title="LEVEL_NAME">LEVEL_NAME</a> 'in' <a href="#pcRelsSet" title="pcRelsSet">pcRelsSet</a> ';'</xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#iConstraintsDecl" title="iConstraintsDecl">iConstraintsDecl</xhtml:a></xhtml:li>
            <xhtml:li><xhtml:a href="#schemaDecl" title="schemaDecl">schemaDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="attributeType">attributeType:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="172" height="124">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 17 1 13 1 21"/>
         <polygon points="17 17 9 13 9 21"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#INTEGER" xlink:title="INTEGER">
            <rect x="51" y="3" width="74" height="32"/>
            <rect x="49" y="1" width="74" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="21">INTEGER</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#REAL" xlink:title="REAL">
            <rect x="51" y="47" width="50" height="32"/>
            <rect x="49" y="45" width="50" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="65">REAL</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#STRING" xlink:title="STRING">
            <rect x="51" y="91" width="66" height="32"/>
            <rect x="49" y="89" width="66" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="109">STRING</text>
         </a>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m74 0 h10 m-114 0 h20 m94 0 h20 m-134 0 q10 0 10 10 m114 0 q0 -10 10 -10 m-124 10 v24 m114 0 v-24 m-114 24 q0 10 10 10 m94 0 q10 0 10 -10 m-104 10 h10 m50 0 h10 m0 0 h24 m-104 -10 v20 m114 0 v-20 m-114 20 v24 m114 0 v-24 m-114 24 q0 10 10 10 m94 0 q10 0 10 -10 m-104 10 h10 m66 0 h10 m0 0 h8 m23 -88 h-3"/>
         <polygon points="163 17 171 13 171 21"/>
         <polygon points="163 17 155 13 155 21"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#attributeType" title="attributeType">attributeType</a>
         ::= <a href="#INTEGER" title="INTEGER">INTEGER</a>
           | <a href="#REAL" title="REAL">REAL</a>
           | <a href="#STRING" title="STRING">STRING</a></xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#attributeDecl" title="attributeDecl">attributeDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="measureType">measureType:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="172" height="124">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 17 1 13 1 21"/>
         <polygon points="17 17 9 13 9 21"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#INTEGER" xlink:title="INTEGER">
            <rect x="51" y="3" width="74" height="32"/>
            <rect x="49" y="1" width="74" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="21">INTEGER</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#REAL" xlink:title="REAL">
            <rect x="51" y="47" width="50" height="32"/>
            <rect x="49" y="45" width="50" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="65">REAL</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#STRING" xlink:title="STRING">
            <rect x="51" y="91" width="66" height="32"/>
            <rect x="49" y="89" width="66" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="109">STRING</text>
         </a>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m74 0 h10 m-114 0 h20 m94 0 h20 m-134 0 q10 0 10 10 m114 0 q0 -10 10 -10 m-124 10 v24 m114 0 v-24 m-114 24 q0 10 10 10 m94 0 q10 0 10 -10 m-104 10 h10 m50 0 h10 m0 0 h24 m-104 -10 v20 m114 0 v-20 m-114 20 v24 m114 0 v-24 m-114 24 q0 10 10 10 m94 0 q10 0 10 -10 m-104 10 h10 m66 0 h10 m0 0 h8 m23 -88 h-3"/>
         <polygon points="163 17 171 13 171 21"/>
         <polygon points="163 17 155 13 155 21"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#measureType" title="measureType">measureType</a>
         ::= <a href="#INTEGER" title="INTEGER">INTEGER</a>
           | <a href="#REAL" title="REAL">REAL</a>
           | <a href="#STRING" title="STRING">STRING</a></xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#measureDecl" title="measureDecl">measureDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml" style="font-weight:bold"><xhtml:a name="additivityType">additivityType:</xhtml:a></xhtml:p>
      <svg xmlns="http://www.w3.org/2000/svg" width="208" height="124">
         <defs>
            <style type="text/css">
               @namespace "http://www.w3.org/2000/svg";
               .line                 {fill: none; stroke: #331100;}
               .bold-line            {stroke: #140700; shape-rendering: crispEdges; stroke-width:
               2; }
               .thin-line            {stroke: #1F0A00; shape-rendering: crispEdges}
               .filled               {fill: #331100; stroke: none;}
               text.terminal         {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #140700;
               font-weight: bold;
               }
               text.nonterminal      {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1A0900;
               }
               text.regexp           {font-family: 'Droid Sans', Sans-serif;
               font-size: 12px;
               fill: #1F0A00;
               }
               rect, circle, polygon {fill: #331100; stroke: #331100;}
               rect.terminal         {fill: #FF884D; stroke: #331100;}
               rect.nonterminal      {fill: #FFBF9E; stroke: #331100;}
               rect.text             {fill: none; stroke: none;}    
               polygon.regexp        {fill: #FFDAC7; stroke: #331100;}
               
            </style>
         </defs>
         <polygon points="9 17 1 13 1 21"/>
         <polygon points="17 17 9 13 9 21"/>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#ADDITIVE" xlink:title="ADDITIVE">
            <rect x="51" y="3" width="78" height="32"/>
            <rect x="49" y="1" width="78" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="21">ADDITIVE</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#SEMIADDITIVE" xlink:title="SEMIADDITIVE">
            <rect x="51" y="47" width="110" height="32"/>
            <rect x="49" y="45" width="110" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="65">SEMIADDITIVE</text>
         </a>
         <a xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="#NONADDITIVE" xlink:title="NONADDITIVE">
            <rect x="51" y="91" width="106" height="32"/>
            <rect x="49" y="89" width="106" height="32" class="nonterminal"/>
            <text class="nonterminal" x="59" y="109">NONADDITIVE</text>
         </a>
         <svg:path xmlns:svg="http://www.w3.org/2000/svg" class="line" d="m17 17 h2 m20 0 h10 m78 0 h10 m0 0 h32 m-150 0 h20 m130 0 h20 m-170 0 q10 0 10 10 m150 0 q0 -10 10 -10 m-160 10 v24 m150 0 v-24 m-150 24 q0 10 10 10 m130 0 q10 0 10 -10 m-140 10 h10 m110 0 h10 m-140 -10 v20 m150 0 v-20 m-150 20 v24 m150 0 v-24 m-150 24 q0 10 10 10 m130 0 q10 0 10 -10 m-140 10 h10 m106 0 h10 m0 0 h4 m23 -88 h-3"/>
         <polygon points="199 17 207 13 207 21"/>
         <polygon points="199 17 191 13 191 21"/>
      </svg>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:div class="ebnf"><xhtml:pre><a href="#additivityType" title="additivityType">additivityType</a>
         ::= <a href="#ADDITIVE" title="ADDITIVE">ADDITIVE</a>
           | <a href="#SEMIADDITIVE" title="SEMIADDITIVE">SEMIADDITIVE</a>
           | <a href="#NONADDITIVE" title="NONADDITIVE">NONADDITIVE</a></xhtml:pre></xhtml:div>
      </xhtml:p>
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">referenced by:
         <xhtml:ul>
            <xhtml:li><xhtml:a href="#measureDecl" title="measureDecl">measureDecl</xhtml:a></xhtml:li>
         </xhtml:ul>
      </xhtml:p><xhtml:br xmlns:xhtml="http://www.w3.org/1999/xhtml" /><xhtml:hr xmlns:xhtml="http://www.w3.org/1999/xhtml" />
      <xhtml:p xmlns:xhtml="http://www.w3.org/1999/xhtml">
         <xhtml:table border="0" class="signature">
            <xhtml:tr>
               <xhtml:td style="width: 100%"> </xhtml:td>
               <xhtml:td valign="top">
                  <xhtml:nobr class="signature">... generated by <xhtml:a name="Railroad-Diagram-Generator" class="signature" title="http://www.bottlecaps.de/rr/ui" href="http://www.bottlecaps.de/rr/ui" target="_blank">Railroad Diagram Generator</xhtml:a></xhtml:nobr>
               </xhtml:td>
               <xhtml:td><xhtml:a name="Railroad-Diagram-Generator" title="http://www.bottlecaps.de/rr/ui" href="http://www.bottlecaps.de/rr/ui" target="_blank">
                     <svg xmlns="http://www.w3.org/2000/svg" width="16" height="16">
                        <g transform="scale(0.178)">
                           <circle cx="45" cy="45" r="45" style="stroke:none; fill:#FFCC00"/>
                           <circle cx="45" cy="45" r="42" style="stroke:#332900; stroke-width:2px; fill:#FFCC00"/>
                           <line x1="15" y1="15" x2="75" y2="75" stroke="#332900" style="stroke-width:9px;"/>
                           <line x1="15" y1="75" x2="75" y2="15" stroke="#332900" style="stroke-width:9px;"/>
                           <text x="7" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
                           <text x="64" y="54" style="font-size:26px; font-family:Arial, Sans-serif; font-weight:bold; fill: #332900">R</text>
                        </g>
                     </svg></xhtml:a></xhtml:td>
            </xhtml:tr>
         </xhtml:table>
      </xhtml:p>
   </body>
</html>
